On the Logic and Computation of Partial Equilibrium Models
نویسندگان
چکیده
The nonmonotonic formalism of partial equilibrium logic (PEL) was introduced and studied in [1,2] and proposed as a logical foundation for the partial stable and well-founded semantics of logic programs. Here we study further logical properties of PEL and some techniques to compute partial equilibrium models.
منابع مشابه
تحلیل مقایسه ای هزینه رفاهی مالیات تورمی در الگوی تعادل جزئی و تعادل عمومی
Money is a facilitator of economic activities, thus, formatting of economic activity is dependent on the institutionalizing of monetary system. In common monetary system, the weakness of common perception about money, publishing and distributing mechanism led to inefficiencies in optimal allocation of resources and welfare cost of inflation tax. Partial equilibrium model in compare with gener...
متن کاملAnalysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
In [4] a nonmonotonic formalism called partial equilibrium logic (PEL) was proposed as a logical foundation for the well-founded semantics (WFS) of logic programs. PEL consists in de ning a class of minimal models, called partial equilibrium (p-equilibrium), inside a non-classical logic called HT 2. In [4] it was shown that, on normal logic programs, p-equilibrium models coincide with Przymusin...
متن کاملStrong Negation in Well-Founded and Partial Stable Semantics for Logic Programs
A formalism called partial equilibrium logic (PEL) has recently been proposed as a logical foundation for the well-founded semantics (WFS) of logic programs. In PEL one defines a class of minimal models, called partial equilibrium models, in a non-classical logic, HT . On logic programs partial equilibrium models coincide with Przymusinski’s partial stable (p-stable) models, so that PEL can be ...
متن کاملOptimal intelligent control for glucose regulation
This paper introduces a novel control methodology based on fuzzy controller for a glucose-insulin regulatory system of type I diabetes patient. First, in order to incorporate knowledge about patient treatment, a fuzzy logic controller is employed for regulating the gains of the basis Proportional-Integral (PI) as a self-tuning controller. Then, to overcome the key drawback of fuzzy logic contro...
متن کاملModeling the partial equilibrium in the milk and dairy market in Ukraine
The goals of the article are a definition of patterns of change in demand and supply of milk and dairy in the market of Ukraine and revealing the regularities of establishing of partial equilibrium state. The scientific methods which used in the process of the research: simulation was used for defining trends of supply and demand changing and their balancing in the dairy market; economic and st...
متن کامل